Works by D. C. Cooper

( view other items matching `D. C. Cooper`, view all matches )
6 found
Order:
  1.  11
    E. W. Beth. On machines which prove theorems. Simon Stevin, vol. 32 (1958), pp. 49–60.D. C. Cooper - 1970 - Journal of Symbolic Logic 34 (4):659-659.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  17
    D. C. Luckham, D. M. R. Park, and M. S. Paterson. On formalised computer programs. Journal of computer and system sciences, vol. 4 , pp. 220–249. [REVIEW]D. C. Cooper - 1974 - Journal of Symbolic Logic 39 (2):347.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Review: A. L. Chernyavskii, Computer Simulation of the Process of Solving Complex Logical Problems. [REVIEW]D. C. Cooper - 1968 - Journal of Symbolic Logic 33 (2):303-303.
     
    Export citation  
     
    Bookmark  
  4.  12
    A. L. Čérnávskij. Modélirovanié procéssa réšéniá složnyh logičéskih zadač na vyčislitél′nyh mašinah . Russian with English summary. Avtomatika i téléméhanika, no. 1 , pp. 166–187. - A. L. Chernyavskii. Computer simulation of the process of solving complex logical problems . English translation of the preceding. Automation and remote control, no. 1 , pp. 145–167. [REVIEW]D. C. Cooper - 1968 - Journal of Symbolic Logic 33 (2):303-303.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  30
    Review: D. C. Luckham, D. M. R. Park, M. S. Paterson, On Formalised Computer Programs. [REVIEW]D. C. Cooper - 1974 - Journal of Symbolic Logic 39 (2):347-347.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    Review: E. W. Beth, On Machines which Prove Theorems. [REVIEW]D. C. Cooper - 1969 - Journal of Symbolic Logic 34 (4):659-659.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark